An upgrade to my video editor (blender) changed some of the hotkeys around - ooh boy. Fortunately, I realised what was going on, so this video does have a nicely rendered speeded-up bit.